Constructing a Hoop Using Rough Filters

JOURNAL ARTICLE published 9 September 2022 in Bulletin of the Section of Logic

Authors: Rajab Ali Borzooei | Elham Babaei

Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3

JOURNAL ARTICLE published 31 December 2019 in Bulletin of the Section of Logic

Authors: Daishi Yazaki

The Method of Socratic Proofs Meets Correspondence Analysis

JOURNAL ARTICLE published 30 June 2019 in Bulletin of the Section of Logic

Authors: Dorota Leszczyńska-Jasion | Yaroslav Petrukhin | Vasilyi Shangin

Modal Boolean Connexive Logics: Semantics and Tableau Approach

JOURNAL ARTICLE published 30 October 2019 in Bulletin of the Section of Logic

Authors: Tomasz Jarmużek | Jacek Malinowski

A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3(_text{Ł}^leq)

JOURNAL ARTICLE published 14 October 2022 in Bulletin of the Section of Logic

Authors: Gemma Robles | José M. Méndez

A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Feng Gao | George Tourlakis

Non-Fregean Logics of Analytic Equivalence (I)

JOURNAL ARTICLE published 1 January 2015 in Bulletin of the Section of Logic

Authors: Andrzej Biłat

Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

JOURNAL ARTICLE published 30 June 2016 in Bulletin of the Section of Logic

Authors: Andrzej Indrzejczak

A Classification of Improper Inference Rules

JOURNAL ARTICLE published 23 June 2022 in Bulletin of the Section of Logic

Authors: Katsumi Sasaki

Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics

JOURNAL ARTICLE published 30 June 2017 in Bulletin of the Section of Logic

Authors: Nobu-Yuki Suzuki

A Topological Approach to Tense LMn×m-Algebras

JOURNAL ARTICLE published 30 March 2020 in Bulletin of the Section of Logic

Authors: Aldo V. Figallo | Inés Pascual | Gustavo Pelaitay

Monadic Fragments of Intuitionistic Control Logic

JOURNAL ARTICLE published 30 December 2016 in Bulletin of the Section of Logic

Authors: Anna Glenszczyk

JOURNAL ISSUE published 2018 in Bulletin of the Section of Logic

Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

JOURNAL ARTICLE published 30 March 2019 in Bulletin of the Section of Logic

Authors: Lidia Typańska-Czajka

Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract

JOURNAL ARTICLE published 2 August 2022 in Bulletin of the Section of Logic

Research funded by Russian Science Foundation (22-21-00104)

Authors: Wiesław Dziobiak | Marina Schwidefsky

A Benchmark Similarity Measures for Fermatean Fuzzy Sets

JOURNAL ARTICLE published 8 June 2022 in Bulletin of the Section of Logic

Authors: Faiz Muhammad Khan | Imran Khan | Waqas Ahmad

Labeled Sequent Calculus for Orthologic

JOURNAL ARTICLE published 30 December 2018 in Bulletin of the Section of Logic

Authors: Tomoaki Kawano

Quasiorders, Tolerance Relations and Corresponding “Partitions”

JOURNAL ARTICLE published 30 June 2016 in Bulletin of the Section of Logic

Authors: Marek Nowak

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1

JOURNAL ARTICLE published 30 December 2017 in Bulletin of the Section of Logic

Authors: Janusz Ciuciura

JOURNAL ISSUE published 2019 in Bulletin of the Section of Logic